//
// Created by ziya on 22-7-7.
//
#include "../include/types.h"
#include "../include/tty.h"
#include "../include/sys.h"

#define SYSTEM_CALL_TABLE_SIZE  64

void* system_call_table[SYSTEM_CALL_TABLE_SIZE] = {
        sys_write
};

ssize_t sys_write(int fd, const void *buf, size_t count) {
    return console_write((char*)buf, count);
}